Fix Fwindow_end's handling of cached position (Bug#12600).
authormartin rudalics <rudalics@gmx.at>
Mon, 15 Oct 2012 09:03:56 +0000 (11:03 +0200)
committermartin rudalics <rudalics@gmx.at>
Mon, 15 Oct 2012 09:03:56 +0000 (11:03 +0200)
commit7ca80f0706decb6eb23d9b65f27de1d76020e82a
tree60f0690bf9b1b925a1888f8b407312669fe39df9
parent33413e3044df75f5c60ca60dfc6694e1827922ff
Fix Fwindow_end's handling of cached position (Bug#12600).

* window.c (Fwindow_end): Rewrite check whether cached position
can be used (Bug#12600).
(resize_frame_windows, grow_mini_window, shrink_mini_window):
Set windows_or_buffers_changed.
src/ChangeLog
src/window.c